Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control
نویسندگان
چکیده
This paper presents a proposal for specifying task models for cooperative applications that allow designers to describe the relationships between the activities performed by various users involved in cooperative environments. To this end we extend the ConcurTaskTree notation so that new information useful for describing complex cooperative applications can be clearly specified. An example of application to describe En-Route Air Traffic Control (ATC) is given to illustrate and clarify our approach.
منابع مشابه
A Framework for Stochastic Air Traffic Flow Modeling and Analysis
A framework for stochastic traffic flow modeling over the U. S. National airspace based on queuing network models is advanced. The proposed framework allows the inclusion of a wide variety of trajectory uncertainties such as delays due to weather deviation, air traffic control actions, en route wind, aircraft performance, navigation system precision and flight control. En route queuing networks...
متن کاملModeling and Predicting Mental Workload in En Route Air Traffic Control: Critical Review and Broader Implications
OBJECTIVE We perform a critical review of research on mental workload in en route air traffic control (ATC). We present a model of operator strategic behavior and workload management through which workload can be predicted within ATC and other complex work systems. BACKGROUND Air traffic volume is increasing worldwide. If air traffic management organizations are to meet future demand safely, ...
متن کاملOn Calibration and Application of Logit-Based Stochastic Traffic Assignment Models
There is a growing recognition that discrete choice models are capable of providing a more realistic picture of route choice behavior. In particular, influential factors other than travel time that are found to affect the choice of route trigger the application of random utility models in the route choice literature. This paper focuses on path-based, logit-type stochastic route choice models, i...
متن کاملNetwork Characteristics of Air Traffic in the Continental United States
Air traffic is undergoing big changes both in developed and developing countries. The demand for air traffic in the United States is expected to grow to 2 or 3 times the current levels of traffic in the next few decades. This paper models demand for air traffic as a network with several thousand nodes. Recently, methods have been developed to study the network characteristics of large complex s...
متن کاملService Availability for Air Traffic Control Air/ground Voice Communications in the Gulf of Mexico
This paper discusses the service availability criteria that representatives of the Federal Aviation Administration (FAA) Air Traffic Organization (ATO) have defined for air traffic control (ATC) air/ground (A/G) voice communications in the Gulf of Mexico. In order to evaluate these criteria, models that relate airspace coverage with the availability of ground-based communications systems had to...
متن کامل